Ideal Logic System 2